@article{DBLP:journals/cacm/King76,
  author    = {James C. King},
  title     = {Symbolic Execution and Program Testing},
  journal   = {Commun. ACM},
  volume    = {19},
  number    = {7},
  year      = {1976},
  pages     = {385-394},
  ee        = {http://doi.acm.org/10.1145/360248.360252},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/icse/CadarGKPSTV11,
  author    = {Cristian Cadar and
               Patrice Godefroid and
               Sarfraz Khurshid and
               Corina S. Pasareanu and
               Koushik Sen and
               Nikolai Tillmann and
               Willem Visser},
  title     = {Symbolic execution for software testing in practice: preliminary
               assessment},
  booktitle = {ICSE},
  year      = {2011},
  pages     = {1066-1071},
  ee        = {http://doi.acm.org/10.1145/1985793.1985995},
  crossref  = {DBLP:conf/icse/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icse/2011,
  editor    = {Richard N. Taylor and
               Harald Gall and
               Nenad Medvidovic},
  title     = {Proceedings of the 33rd International Conference on Software
               Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May
               21-28, 2011},
  booktitle = {ICSE},
  publisher = {ACM},
  year      = {2011},
  isbn      = {978-1-4503-0445-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/sttt/PasareanuV09,
  author    = {Corina S. Pasareanu and
               Willem Visser},
  title     = {A survey of new trends in symbolic execution for software
               testing and analysis},
  journal   = {STTT},
  volume    = {11},
  number    = {4},
  year      = {2009},
  pages     = {339-353},
  ee        = {http://dx.doi.org/10.1007/s10009-009-0118-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/kbse/PasareanuR10,
  author    = {Corina S. Pasareanu and
               Neha Rungta},
  title     = {Symbolic PathFinder: symbolic execution of Java bytecode},
  booktitle = {ASE},
  year      = {2010},
  pages     = {179-180},
  ee        = {http://doi.acm.org/10.1145/1858996.1859035},
  crossref  = {DBLP:conf/kbse/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/kbse/2010,
  editor    = {Charles Pecheur and
               Jamie Andrews and
               Elisabetta Di Nitto},
  title     = {ASE 2010, 25th IEEE/ACM International Conference on Automated
               Software Engineering,  Antwerp, Belgium, September 20-24,
               2010},
  booktitle = {ASE},
  publisher = {ACM},
  year      = {2010},
  isbn      = {978-1-4503-0116-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@MISC{pex,
   author = "PEX: Automated exploratory testing for .NET",
   url="http://research.microsoft.com/en-us/projects/pex",
   }
   
@inproceedings{Godefroid:2005:DDA:1065010.1065036,
 author = {Godefroid, Patrice and Klarlund, Nils and Sen, Koushik},
 title = {DART: directed automated random testing},
 booktitle = {Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation},
 series = {PLDI '05},
 year = {2005},
 isbn = {1-59593-056-6},
 location = {Chicago, IL, USA},
 pages = {213--223},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/1065010.1065036},
 doi = {10.1145/1065010.1065036},
 acmid = {1065036},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {automated test generation, interfaces, program verification, random testing, software testing},
} 

@article{Godefroid:2005:DDA:1064978.1065036,
 author = {Godefroid, Patrice and Klarlund, Nils and Sen, Koushik},
 title = {DART: directed automated random testing},
 journal = {SIGPLAN Not.},
 issue_date = {June 2005},
 volume = {40},
 number = {6},
 month = jun,
 year = {2005},
 issn = {0362-1340},
 pages = {213--223},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/1064978.1065036},
 doi = {10.1145/1064978.1065036},
 acmid = {1065036},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {automated test generation, interfaces, program verification, random testing, software testing},
} 

@inproceedings{Sen:2005:CCU:1081706.1081750,
 author = {Sen, Koushik and Marinov, Darko and Agha, Gul},
 title = {CUTE: a concolic unit testing engine for C},
 booktitle = {Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering},
 series = {ESEC/FSE-13},
 year = {2005},
 isbn = {1-59593-014-0},
 location = {Lisbon, Portugal},
 pages = {263--272},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1081706.1081750},
 doi = {10.1145/1081706.1081750},
 acmid = {1081750},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {concolic testing, data structure testing, explicit path model-checking, random testing, testing C programs, unit testing},
}

@article{Sen:2005:CCU:1095430.1081750,
 author = {Sen, Koushik and Marinov, Darko and Agha, Gul},
 title = {CUTE: a concolic unit testing engine for C},
 journal = {SIGSOFT Softw. Eng. Notes},
 issue_date = {September 2005},
 volume = {30},
 number = {5},
 month = sep,
 year = {2005},
 issn = {0163-5948},
 pages = {263--272},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1095430.1081750},
 doi = {10.1145/1095430.1081750},
 acmid = {1081750},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {concolic testing, data structure testing, explicit path model-checking, random testing, testing C programs, unit testing},
} 

@INPROCEEDINGS{Cadar06exe:automatically,
    author = {Cristian Cadar and Vijay Ganesh and Peter M. Pawlowski and David L. Dill and Dawson R. Engler},
    title = {EXE: Automatically generating inputs of death},
    booktitle = {In Proceedings of the 13th ACM Conference on Computer and Communications Security (CCS},
    year = {2006}
}

@inproceedings{DBLP:conf/aplas/BerdineCO05,
  author    = {Josh Berdine and
               Cristiano Calcagno and
               Peter W. O'Hearn},
  title     = {Symbolic Execution with Separation Logic},
  booktitle = {APLAS},
  year      = {2005},
  pages     = {52-68},
  ee        = {http://dx.doi.org/10.1007/11575467_5},
  crossref  = {DBLP:conf/aplas/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aplas/2005,
  editor    = {Kwangkeun Yi},
  title     = {Programming Languages and Systems, Third Asian Symposium,
               APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
  booktitle = {APLAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3780},
  year      = {2005},
  isbn      = {3-540-29735-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{rosu-serbanuta-2010-jlap,
  title={An Overview of the {K} Semantic Framework},
  author={Grigore Ro{\c s}u and Traian Florin {\c S}erb{\u a}nu{\c t}{\u a} },
  journal={Journal of Logic and Algebraic Programming},
  volume={79},
  number={6},
  pages={397--434},
  year={2010},
  ee={http://dx.doi.org/10.1016/j.jlap.2010.03.012},
  doi={10.1016/j.jlap.2010.03.012},
}